./getMaudeCode $1 "$2" $3 |maude -no-wrap -no-banner |grep result >$1Sol.txt
php parse.php unparse $1Sol.txt >$1Sol.trm
./term $1Sol
./preprocess1 $1Sol
php parse.php strip $1Sol.txt
echo 
rm $1.trm
rm $1.txt
rm $1.out
rm $1.tree
rm $1Sol.*
